safetyverification相关论文
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems
To cater for the scenario of coordinated transportation of multiple trucks on the highway,a platoon system for autonomou......
